Chaining with Memory in Xcerpt
نویسندگان
چکیده
Moving from single-rule Xcerpt programs as described in previous deliverables to full Xcerpt programs requires to address the issue of efficient rule chaining. In this deliverable, we first survey existing approaches for efficient rule chaining (using some form of memoization) in logic programming and then briefly outline first results and challenges when extending these results to Xcerpt. Keyword List chaining, recursion, logic programming, resolution, OLDT, SLG, magic set, Xcerpt, subsumption Project co-funded by the European Commission and the Swiss Federal Office for Education and Science within the Sixth Framework Programme.
منابع مشابه
An Approach to Backward Chaining in Xcerpt
Xcerpt is a declarative pattern based query and transformation language for semistructured data that like xml that bases on concepts and techniques of logic programming. Xcerpt uses both forward and backward chaining for program evaluation. While forward chaining is used for operations like view materialization, backward chaining is used in querying databases such as the web. This thesis presen...
متن کاملQuerying the Web Reconsidered: A Practical Introduction to Xcerpt
This article gives a practical introduction into the language Xcerpt, guided by many examples for illustrating language constructs and usage. Xcerpt is a rule-based, declarative query and transformation language for XML data. In Xcerpt, queries and the (re-)structuring of answer (also called "constructions") are expressed in terms of patterns instead of path navigations (like in XSLT and XQuery...
متن کاملXcerpt: a rule-based query and transformation language for the web
This thesis investigates querying the Web and the Semantic Web. It proposes a new rulebased query language called Xcerpt. Xcerpt differs from other query languages in that it uses patterns instead of paths for the selection of data, and in that it supports both rule chaining and recursion. Rule chaining serves for structuring large queries, as well as for designing complex query programs (e.g. ...
متن کاملRefinement of Principles of the Xcerpt Processors
Web query languages promise convenient and efficient access to Web data such as XML, RDF, or Topic Maps. Xcerpt is one such Web query language with strong emphasis on novel high-level constructs for effective and convenient query authoring, particularly tailored to versatile access to data in different Web formats such as XML or RDF. However, so far it lacks an efficient implementation to suppl...
متن کاملDescriptive Typing Rules for Xcerpt
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an approximation of its semantics. The rules can also be seen as an abstract form of a type inference algorithm (presented in previous work), and as a stage in a formal soundness proof of the algorithm. The paper considers a substantial fragment of Xcerpt; the main ...
متن کامل